Hybrid Automata for Modeling Discrete Transitions in Complex Dynamic Systems
نویسنده
چکیده
Hybrid system models combine continuous behavior evolution with discrete mode transitions. These transitions may cause discontinuous changes in the field that defines continuous system behavior and the variable values associated with the continuous state vector. In reality, these discontinuous changes are fast continuous transients. To simplify the analysis of these transients time scale and parameter abstractions are applied to system models with very different impacts on the analysis of system behavior. We have developed a systematic modeling approach based on hybrid automata which combines a priori and a posteriori switching values to formally implement switching semantics associated with the abstraction events.
منابع مشابه
Generating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملTimed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, which engage in both discrete transitions and continuous trajectories. The framework includes a notion of external behavior, and notions of composition and abstraction. We define safety and liveness properties for timed I...
متن کاملDiscrete Bounded Bisimulation on Hybrid Automata
Hybrid automata are the prevailing formalisms to reason about systems that consist of discrete and continuous functions. Several specializations like o-minimal hybrid automata have been considered that should (1) retain as much expressibility as possible, and (2) lead to decidable (reachability) problems. However, the discrete transitions of o-minimal automata require constant resets of the con...
متن کاملState Tracking of Uncertain Hybrid Concurrent Systems
In this paper we propose a component-based hybrid formalism, that represents physical phenomena by combining concurrent automata with continuous uncertain dynamic models. The formalism eases the modeling of complex physical systems, and adds concurrency to the supervision of hybrid systems. Uncertainties in the model are integrated as probabilities at the discrete level and intervals at the con...
متن کامل